1. A structural account of mathematics /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Mathematics-- Philosophy.,MATHEMATICS-- History & Philosophy.,Mathematics-- Philosophy.

رده :
QA8
.
4
.
C47
2007eb

2. A structural account of mathematics

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Mathematics ; Philosophy. ; Structuralism. ; Constructive mathematics. ;

3. Constructibility and Mathematical Existence

پدیدآورنده :

کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)

4. Constructibility and mathematical existence /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Constructive mathematics.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Logique symbolique et mathématique.,Mathématiques constructives.,Mathématiques-- Philosophie.,Constructieve wiskunde.,Constructive mathematics.,Filosofia da matemática.,Filosofie.,Logic, Symbolic and mathematical.,Lógica matemática.,Matemática construtiva.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Mathematics-- Philosophy.,Ontologie (filosofie)

رده :
QA8
.
4
.
C45
1990eb

5. Constructibility & mathematical existence

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : MATHEMATICS-PHILOSOPHY , CONSTRUCTIVE MATHEMATIC , LOGIC,SYMBOLIC & MATHEMATICAL

رده :
QA
8
.
4
.
C45

6. The worlds fo possibility : modalrealism and the semantics of modal logic

پدیدآورنده :

کتابخانه: کتابخانه، مرکز اسناد و مدارک علمی پژوهشگاه حوزه و دانشگاه (قم)

7. The worlds of possibility : modal realism and the semantics of modal logic

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Modality )Logic(,، Realism,، Plurality of worlds,، Possibility

رده :
BC
199
.
M6C45